תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה. התורה מאפשרת טיפול מתמטי מדויק במושגי יסוד במתמטיקה כגון יחס, פונקציה, מספר ואינסוף. תורת הקבוצות האקסיומטית, המנוסחת בשפה של הלוגיקה המתמטית, מספקת תשתית לכל תחומי המתמטיקה. כשלעצמה, תורת הקבוצות עוסקת בעיקר בתכונות של מונים וסודרים.